/**
 * Created with JetBrains PhpStorm.
 * User: abdelrahman
 * Date: 6/29/13
 * Time: 5:36 AM
 * To change this template use File | Settings | File Templates.
 */
function includeJQuery()
{
    document.write("<script src='//ajax.googleapis.com/ajax/libs/jquery/1.10.1/jquery.min.js'></script>");
    document.write("<script src='//ajax.googleapis.com/ajax/libs/jqueryui/1.10.3/jquery-ui.min.js'></script>");
}
function applyTheme()
{
    $("input").addClass("ui-widget ui-state-default ui-corner-all");
    $("button,input[type=submit],input[type=button]").button();
}